منابع مشابه
Determinacy in strong cardinal models
We give limits defined in terms of abstract pointclasses of the amount of determinacy available in certain canonical inner models involving strong cardinals. We show for example: Theorem A Det(Π1-IND)⇒there exists an inner model with a strong cardinal. Theorem B Det(AQI)⇒there exist type-1 mice and hence inner models with proper classes of strong cardinals where Π1-IND (AQI) is the pointclass o...
متن کاملDeterminacy and determinacy analysis
One attractive, unique feature of logic programming languages is their ability to succinctly and declaratively express search. The alternatives of a search can be speci ed by a set of clauses de ning the same predicate. By backtracking, considering in turn each of these clauses, the di erent alternatives are explored until a solution (if it exists) is found. However, though backtracking is esse...
متن کاملThe Variable Determinacy Thesis
This Article proposes a novel technique for characterizing the relative determinacy of legal decision-making. I begin with the observation that the determinacy of legal outcomes varies from context to context within the law. To augment this intuition, I develop a theoretical model of determinate legal decision-making. This model aims to capture the essential features that are typically associat...
متن کاملSpreading speed and linear determinacy for two-species competition models.
One crucial measure of a species' invasiveness is the rate at which it spreads into a competitor's environment. A heuristic spread rate formula for a spatially explicit, two-species competition model relies on 'linear determinacy' which equates spread rate in the full nonlinear model with spread rate in the system linearized about the leading edge of the invasion. However, linear determinacy is...
متن کاملLarge Cardinals, Inner Models, and Determinacy: An Introductory Overview
We sketch a brief development of large cardinals as they apply to determinacy results and to inner model theory.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1982
ISSN: 0003-4843
DOI: 10.1016/0003-4843(82)90017-1